namespace CONC_NO_UNLOCK {
#include <pthread.h>

extern int z();

void foo(pthread_mutex_t* mutex) {
	pthread_mutex_lock(mutex);
	switch (z()) {
	case 0:
		return;
	case 1:
		break;
	}
	pthread_mutex_unlock(mutex);
}

#include <pthread.h>

extern int z();

void foo(pthread_mutex_t* mutex) {
	pthread_mutex_lock(mutex);
	switch (z()) {
	case 0:
		pthread_mutex_unlock(mutex);
		return;
	case 1:
		break;
	}
	pthread_mutex_unlock(mutex);
}
}}